fun call f arg = print ((Word64.toString (f arg) handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun callS f arg = print ((f arg handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun bin (x, y) = ( print (Word64.toString x ^ " + " ^ Word64.toString y ^ " = ")
                 ; call Word64.+ (x, y)
                 ; print (Word64.toString x ^ " - " ^ Word64.toString y ^ " = ")
                 ; call Word64.- (x, y)
                 ; print (Word64.toString x ^ " * " ^ Word64.toString y ^ " = ")
                 ; call Word64.* (x, y)
                 ; print (Word64.toString x ^ " div " ^ Word64.toString y ^ " = ")
                 ; call Word64.div (x, y)
                 ; print (Word64.toString x ^ " mod " ^ Word64.toString y ^ " = ")
                 ; call Word64.mod (x, y)
                 ; print (Word64.toString x ^ " andb " ^ Word64.toString y ^ " = ")
                 ; call Word64.andb (x, y)
                 ; print (Word64.toString x ^ " orb " ^ Word64.toString y ^ " = ")
                 ; call Word64.orb (x, y)
                 ; print (Word64.toString x ^ " xorb " ^ Word64.toString y ^ " = ")
                 ; call Word64.xorb (x, y)
                 );
fun un x = ( print ("~ " ^ Word64.toString x ^ " = ")
           ; call Word64.~ x
           ; print ("notb " ^ Word64.toString x ^ " = ")
           ; call Word64.notb x
           ; print (Word64.toString x ^ " << 0w0 = ")
           ; call (fn x => Word64.<< (x, 0w0)) x
           ; print (Word64.toString x ^ " << 0w2 = ")
           ; call (fn x => Word64.<< (x, 0w2)) x
           ; print (Word64.toString x ^ " << 0w10 = ")
           ; call (fn x => Word64.<< (x, 0w10)) x
           ; print (Word64.toString x ^ " << 0w20 = ")
           ; call (fn x => Word64.<< (x, 0w20)) x
           ; print (Word64.toString x ^ " << 0w31 = ")
           ; call (fn x => Word64.<< (x, 0w31)) x
           ; print (Word64.toString x ^ " << 0w63 = ")
           ; call (fn x => Word64.<< (x, 0w63)) x
           ; print (Word64.toString x ^ " << 0w64 = ")
           ; call (fn x => Word64.<< (x, 0w64)) x
           ; print (Word64.toString x ^ " << 0w65 = ")
           ; call (fn x => Word64.<< (x, 0w65)) x
           ; print (Word64.toString x ^ " >> 0w0 = ")
           ; call (fn x => Word64.>> (x, 0w0)) x
           ; print (Word64.toString x ^ " >> 0w2 = ")
           ; call (fn x => Word64.>> (x, 0w2)) x
           ; print (Word64.toString x ^ " >> 0w10 = ")
           ; call (fn x => Word64.>> (x, 0w10)) x
           ; print (Word64.toString x ^ " >> 0w20 = ")
           ; call (fn x => Word64.>> (x, 0w20)) x
           ; print (Word64.toString x ^ " >> 0w31 = ")
           ; call (fn x => Word64.>> (x, 0w31)) x
           ; print (Word64.toString x ^ " >> 0w63 = ")
           ; call (fn x => Word64.>> (x, 0w63)) x
           ; print (Word64.toString x ^ " >> 0w64 = ")
           ; call (fn x => Word64.>> (x, 0w64)) x
           ; print (Word64.toString x ^ " >> 0w65 = ")
           ; call (fn x => Word64.>> (x, 0w65)) x
           ; print (Word64.toString x ^ " ~>> 0w0 = ")
           ; call (fn x => Word64.~>> (x, 0w0)) x
           ; print (Word64.toString x ^ " ~>> 0w2 = ")
           ; call (fn x => Word64.~>> (x, 0w2)) x
           ; print (Word64.toString x ^ " ~>> 0w10 = ")
           ; call (fn x => Word64.~>> (x, 0w10)) x
           ; print (Word64.toString x ^ " ~>> 0w20 = ")
           ; call (fn x => Word64.~>> (x, 0w20)) x
           ; print (Word64.toString x ^ " ~>> 0w31 = ")
           ; call (fn x => Word64.~>> (x, 0w31)) x
           ; print (Word64.toString x ^ " ~>> 0w63 = ")
           ; call (fn x => Word64.~>> (x, 0w63)) x
           ; print (Word64.toString x ^ " ~>> 0w64 = ")
           ; call (fn x => Word64.~>> (x, 0w64)) x
           ; print (Word64.toString x ^ " ~>> 0w65 = ")
           ; call (fn x => Word64.~>> (x, 0w65)) x
           (* ; print ("fmt BIN " ^ Word64.toString x ^ " = ")
           ; callS (Word64.fmt StringCvt.BIN) x ... not implemented yet *)
           ; print ("fmt OCT " ^ Word64.toString x ^ " = ")
           ; callS (Word64.fmt StringCvt.OCT) x
           ; print ("fmt DEC " ^ Word64.toString x ^ " = ")
           ; callS (Word64.fmt StringCvt.DEC) x
           ; print ("fmt HEX " ^ Word64.toString x ^ " = ")
           ; callS (Word64.fmt StringCvt.HEX) x
           );
List.app un
[0w0
,0w1
,0w2
,0w3
,0w78
,0w18446744073709551614
,0w18446744073709551615
,0w1275548033995301424
,0w10417309031967933079
,0w2112719111588962399
,0w2726445820918627087
,0w4609004260007739600
,0w11074269206337254866
,0w9733109294540808081
,0w6450629194222476823
,0w8084222243108663947
,0w16253064923614931039
,0w9550870274822917620
,0w12254965432198365490
,0w2043566724769544891
,0w15416965886697059205
,0w13094602526972955022
,0w13762189078634938153
,0w17348362682419080952
,0w9925823816501817950
,0w5864937105094384988
,0w12115091756097330779
,0w1176964884581729517
,0w14994571967408203903
,0w12467293651539821634
,0w1460613250358381065
,0w13341605051273873739
,0w8427379995356938907
,0w2431761152299503738
,0w7880881152636637720
,0w13002787039480307345
,0w6693275405062092000
,0w5833338244144133450
,0w6364879175695042722
,0w16334791876858446562
,0w9786683570174084843
,0w7596407706021195295
,0w530738116290838440
,0w4928521263436149723
,0w16311819527047916066
,0w5138620087387825618
,0w12751349185841313469
,0w5755117900260588616
,0w14019793526596387435
,0w5075465767251733488
,0w1151994477824073085
,0w13166753539394018966
,0w11606776187494687672
,0w16402506084191399799
,0w15101824484585547167
,0w1726496355605229557
,0w15353523253523898406
];
List.app bin
[(0w0,0w0)
,(0w0,0w1)
,(0w0,0w2)
,(0w0,0w3)
,(0w0,0w99)
,(0w0,0w18446744073709551614)
,(0w0,0w18446744073709551615)
,(0w1,0w0)
,(0w1,0w1)
,(0w1,0w2)
,(0w1,0w3)
,(0w1,0w99)
,(0w1,0w18446744073709551614)
,(0w1,0w18446744073709551615)
,(0w2,0w0)
,(0w2,0w1)
,(0w2,0w2)
,(0w2,0w3)
,(0w2,0w99)
,(0w2,0w18446744073709551614)
,(0w2,0w18446744073709551615)
,(0w3,0w0)
,(0w3,0w1)
,(0w3,0w2)
,(0w3,0w3)
,(0w3,0w99)
,(0w3,0w18446744073709551614)
,(0w3,0w18446744073709551615)
,(0w78,0w0)
,(0w78,0w1)
,(0w78,0w2)
,(0w78,0w3)
,(0w78,0w99)
,(0w78,0w18446744073709551614)
,(0w78,0w18446744073709551615)
,(0w18446744073709551614,0w0)
,(0w18446744073709551614,0w1)
,(0w18446744073709551614,0w2)
,(0w18446744073709551614,0w3)
,(0w18446744073709551614,0w99)
,(0w18446744073709551614,0w18446744073709551614)
,(0w18446744073709551614,0w18446744073709551615)
,(0w18446744073709551615,0w0)
,(0w18446744073709551615,0w1)
,(0w18446744073709551615,0w2)
,(0w18446744073709551615,0w3)
,(0w18446744073709551615,0w99)
,(0w18446744073709551615,0w18446744073709551614)
,(0w18446744073709551615,0w18446744073709551615)
,(0w6495470945095502990,0w9160328772991083267)
,(0w12808327723416104033,0w8696507065439110230)
,(0w4414764141278816592,0w11513232619662276786)
,(0w11035770412744658139,0w2841048866828963149)
,(0w3341909246267123009,0w6717320697237939147)
,(0w10042111658665752230,0w3156139133976866362)
,(0w15751482506052464771,0w4136699098776851706)
,(0w18250521726341730747,0w17784772574208155271)
,(0w9385405096181587588,0w16045110888030470505)
,(0w10850571316051499549,0w1213098282303562220)
,(0w3088444870424287970,0w12070978858903097613)
,(0w8085572762564683244,0w18355473502094129822)
,(0w17448180273299263964,0w16260215564832780315)
,(0w8034953148450949815,0w1299143776726289593)
,(0w17451364952221699346,0w1513967278648333760)
,(0w2900805643852028611,0w13738833609658218440)
,(0w2315300385369867564,0w2353536682764324124)
,(0w8469615025980370530,0w17854036985558917929)
,(0w11889365880090423877,0w12251493352832011123)
,(0w12352868429000029586,0w1288109439912404914)
,(0w6852698568877598141,0w101007894384785192)
,(0w13716687561730148691,0w13553125359386792921)
,(0w14827384792685137837,0w769769573782750703)
,(0w1175003656695512200,0w2938281964093242450)
,(0w456575760455015887,0w13600243744811254358)
,(0w16874123644265078287,0w14799703374880579902)
,(0w552950337210899918,0w10387777710406557060)
,(0w16997997364982746669,0w4677187451338862698)
,(0w6006848605511923760,0w17735375734175111290)
,(0w14134662719599323121,0w12218018607674816247)
,(0w9772949931413459634,0w13532186196345103454)
,(0w10279411604598682926,0w16601120091209325707)
,(0w7664334366757241729,0w11958231149341059891)
,(0w5360007028544192873,0w13213885790373755199)
,(0w7070314833640249655,0w246260428219613231)
,(0w3188262918968905815,0w6824737245289481632)
,(0w8832776828433131649,0w7273610523314237617)
,(0w1861789757992081633,0w10152918222707171244)
,(0w15042966520987291483,0w9757545411488155765)
,(0w12944610530159203296,0w2799893592811655852)
,(0w1482336563086574593,0w8041209355395705662)
,(0w3479668821214377898,0w16764654439005657652)
,(0w15915772855336947459,0w1199422427637166398)
,(0w3663974354682363782,0w82478435555796359)
,(0w16850906174918815335,0w13561086657294035801)
,(0w14676388933845808038,0w17250871106417975205)
,(0w17793206919077461788,0w16175267914327239599)
,(0w14137017158296664559,0w339045185923963083)
,(0w11536896821627665528,0w2877968774633788355)
,(0w8769208929899131005,0w9679462491927646296)
,(0w16983871752265928732,0w5149957695523982795)
,(0w11170495254566740436,0w344916416467571949)
,(0w8233387907637908815,0w9516414947780359994)
,(0w8779962757803958417,0w462130064413016355)
,(0w10965999911172756523,0w3683546332140750033)
,(0w6163341386385737285,0w7764897316643460578)
,(0w7330197617153942071,0w2307826488958089469)
,(0w15490068343596081298,0w15332959422405948057)
,(0w10332779071257064210,0w3276224965222961618)
,(0w7137079866213182742,0w4611189165279054297)
,(0w14769686617064273912,0w14237879971631005945)
,(0w7879611349927029099,0w6203325697630327241)
,(0w13188386087933858032,0w18343762216732986268)
,(0w2186493400188704588,0w757412132031360348)
,(0w17970679372462528947,0w15174444616307899683)
,(0w15691530243253418688,0w18414604477189622013)
,(0w5565543584404332830,0w13604009516204651273)
,(0w9305303540341731978,0w4037072458815382852)
,(0w10368363452601400685,0w8183816810696453322)
,(0w13613849387073853563,0w1552618721001865151)
,(0w15869151833148896085,0w14209280849607607833)
,(0w9467291485086547407,0w14930842723764034092)
,(0w6304604464567522257,0w16637945756489668305)
,(0w11175654967959629947,0w14584630159209573283)
,(0w2196698462743218390,0w15598300997402204255)
,(0w1109650509398301377,0w7005008812234523622)
,(0w15825418948761415157,0w18310207170348688184)
,(0w7758971027344227562,0w6902697187532525396)
,(0w14834466958461143279,0w16555863647007311761)
,(0w11878118513175595580,0w12824123828420581383)
,(0w14959520324968260175,0w5362302977069148719)
,(0w12113555595058953254,0w7196221841649236635)
,(0w4964990909549026563,0w3555338635468555658)
,(0w2852621341736969432,0w18061621806507915894)
,(0w10954284763891076067,0w13089195773442555518)
,(0w15483576202151181310,0w11562210166217851535)
,(0w5904813722998115469,0w11048667629636526171)
,(0w17379637350025325988,0w4841902982477337880)
,(0w7043002590505062560,0w14021287495422805547)
,(0w3471788853138674382,0w4613928747668795751)
,(0w5550468294038098742,0w396608979641195231)
,(0w4949166529375793286,0w3996366143130925471)
,(0w12450876725415195699,0w2297483354638116608)
,(0w17874732577407753997,0w15079001158054046570)
,(0w9254946520428750678,0w17863896347648832843)
,(0w8079384756672639870,0w31664075291810030)
,(0w18043853932524797325,0w13713779084387055479)
,(0w14022753360582039193,0w4563607636082527141)
,(0w9035350723956214793,0w16905298899410614785)
,(0w15143310759640202074,0w4904127801964142313)
,(0w4000576402032491736,0w4399578983421980417)
,(0w12119095597216787506,0w7013871180893754538)
,(0w7880982997093330739,0w1344270892724300879)
,(0w13377604655688478755,0w17556674615236850573)
,(0w772345778414517074,0w514546687007901167)
,(0w1760652200274618746,0w9196900150476396734)
,(0w14074826058930195421,0w9817115977448312539)
,(0w5446207365290504423,0w7545049550033142345)
,(0w4793084958374369626,0w600220833118571844)
,(0w6372829910790900193,0w1931970342932167691)
,(0w900281384949836374,0w274593133036077278)
,(0w11596443046940276359,0w17856156280600313077)
,(0w17199460038400050690,0w13479850020159532449)
,(0w7530985653918466467,0w9653573187400384178)
,(0w762715716475300203,0w15009580841160815477)
,(0w1392283449924138653,0w4348276319120142442)
,(0w1150280485062669459,0w7381654217137739307)
,(0w17675051310779570872,0w16716315421319840781)
,(0w9005798696482578165,0w8036378478605667745)
,(0w17450931404850669025,0w7923650630571197244)
,(0w1031097204326106935,0w484433514633453164)
,(0w7064902139395012568,0w5618232939374700684)
,(0w5373533783839874944,0w3050119032993958924)
,(0w3981484165014256828,0w4728743501205237520)
,(0w8638858716021827746,0w8794830779245281205)
,(0w14295853361693938766,0w9233901868851985315)
,(0w5809267398865040964,0w8348954042329692036)
,(0w7105132576417260580,0w2251455129034258476)
,(0w17553769078922752530,0w11431634706317846138)
,(0w13632696088125076845,0w3299111083197208574)
,(0w14702420720161508841,0w15465014556569210402)
,(0w9460039702803401220,0w9950621267754241703)
,(0w7721722620758964775,0w13707049330801340204)
,(0w2187278819495731522,0w12937400220132028981)
,(0w13925149976641277758,0w6757662438005535056)
,(0w5668882477462974217,0w4254707920985035853)
,(0w18350653270781985158,0w13563576291854241388)
,(0w7349187156243388553,0w11096162827734930337)
,(0w1636766264575977103,0w6458307103693380827)
,(0w10629782137365173976,0w12634332687188088220)
,(0w7558663958034280463,0w7350428428729577437)
,(0w7651576784302005583,0w7420194647557109670)
,(0w16537830611829950145,0w16185681071616228442)
,(0w16817803790083501793,0w6252426113891017888)
,(0w13916592739213398442,0w13701799312960508414)
,(0w16427289729469993774,0w8801003922956915095)
,(0w10311332631320350594,0w11582700547935819531)
,(0w8181354394822665723,0w16334721293839895792)
,(0w1995910952200954754,0w14164849555442790876)
,(0w17879832465017665905,0w14323083602165417364)
,(0w15614203463242909674,0w903085203081685353)
,(0w284965997991245553,0w12297509039732504787)
,(0w4857454149787272124,0w11321525421502399252)
,(0w11285230187946124469,0w13521237314773053527)
,(0w343461508548680142,0w9760128059554852373)
,(0w5025881964548154351,0w12437358298640072863)
,(0w6047614129599128998,0w9031124557607556503)
,(0w11711583068635738184,0w5897575442987492090)
,(0w8184689936635826200,0w7290187086183472686)
,(0w10856588882381896704,0w10586678456154337182)
,(0w14596390636475264117,0w14091715917515228105)
,(0w18371946657989003888,0w10982924479453123406)
,(0w14029404377507961926,0w15841828992213262741)
,(0w4169818022454135344,0w5848686865691079895)
,(0w6762453799518440870,0w1033677055154434190)
,(0w10350520275546181129,0w3640037544953347783)
,(0w1238208273128665704,0w15144172346126658706)
,(0w2539218262488006492,0w9526778720083601617)
,(0w17088620879824447584,0w9411886474269185561)
,(0w11581080691823542854,0w378753253699840705)
,(0w7658186511705352494,0w7453591814656490236)
,(0w3680373506173612856,0w17890994179120701068)
,(0w478632654544440957,0w9839043825961774907)
,(0w7443663529802064916,0w863270866851215112)
,(0w2969998809972969365,0w9070853779832925919)
,(0w1645835672034241125,0w16204974878244346090)
,(0w6148927740001861050,0w15596315088691532703)
,(0w7090871221464781512,0w18116560023751397115)
,(0w14053743256753929751,0w11753529616213844670)
,(0w11228638391700701059,0w1730956741573158159)
,(0w1466950334840003325,0w14177503352710716386)
,(0w11000641903020350166,0w8816359124686266998)
,(0w8546369651425922788,0w1763412877354386980)
,(0w12801052027910547915,0w6703906674843067236)
,(0w10499337430728401649,0w18183064930011660870)
,(0w12126642660930829229,0w10712317168346529493)
,(0w18296140453339385381,0w3539452320845958903)
,(0w2600238179699600023,0w6559969171332907618)
,(0w13869232079094080875,0w18311062119587210753)
,(0w6735036889925881117,0w7846835536853387318)
,(0w17989120429454911001,0w5153837818465455356)
,(0w10779235860646499147,0w1175286663902481470)
,(0w1818048134047780714,0w11512355645751702328)
,(0w15313968492776585197,0w9884104655843850584)
,(0w1440416018394609371,0w4308532168302032843)
,(0w9307710485257160554,0w12277751734100980309)
,(0w11528830061339759853,0w16396911078377889875)
,(0w15628038640620569577,0w15664577133676791706)
,(0w4103892280932720538,0w17354045532345514395)
,(0w16414506087174327944,0w11788181973528277463)
,(0w6633329233964806300,0w13120215973319924509)
,(0w17408721490057135317,0w604270902500682309)
,(0w17858972647515744155,0w13674897416115926057)
,(0w7739286237653733461,0w13448711555964669965)
,(0w9567816697608868292,0w10808261301031616388)
,(0w15193869838186764710,0w5459959621270416437)
,(0w5166387240352502598,0w6011578120320064952)
,(0w14494198437455427452,0w100797697464123411)
,(0w12984326625169773262,0w448909100843733083)
,(0w17044641702986426410,0w11752014156345294698)
,(0w4091045743955896386,0w4677549150138193025)
,(0w2542860047228853120,0w6517111716619058621)
,(0w1206082342501106116,0w17062896968678205370)
,(0w18133721879402488527,0w13969546528220914706)
,(0w11335219249848532220,0w17802009520818193529)
,(0w3668802772360283750,0w15180527916518972150)
,(0w14432085397785863419,0w1923207074464263395)
,(0w13907726561904270941,0w15568846477661682432)
,(0w15638416088704232730,0w1626217683708030821)
,(0w5297754803183430430,0w882527189035378233)
,(0w704090664737419494,0w13673171154446736388)
,(0w3522994939684911298,0w10188064248737709102)
,(0w2598921671925035093,0w4311977261264687808)
,(0w11600384373039186107,0w10088167905758018838)
,(0w3068562129697794161,0w17711147965376363516)
,(0w13420663770185249825,0w9029863513094361147)
,(0w13887381775025526908,0w10226752230870177770)
,(0w17202521574763180572,0w3126418143375034527)
,(0w15948948870460389779,0w3248945120544122767)
,(0w3446347335094301078,0w2084123263381937683)
,(0w11784253818498855576,0w5285269977105735250)
,(0w17421596746306003610,0w2456080472974696778)
,(0w16613675113662638987,0w8497491070241676776)
,(0w17923161888752006176,0w7706752630062124733)
,(0w5109925996888839620,0w2006629947887624027)
,(0w15698700193248990382,0w1438049264536713941)
,(0w1082542665729413638,0w14912309633678218187)
,(0w15255111008272839132,0w13517265302713848791)
,(0w12646169662586784618,0w11121457837057567796)
,(0w7305492233989136366,0w7163680081473993351)
,(0w18192684023509288050,0w4482194864004833888)
,(0w11747915089472490465,0w15089347323805486295)
,(0w872386893989754373,0w7695573646681620813)
,(0w9114407147382871857,0w6879500593957184237)
,(0w17667875645310424575,0w2165011227832702090)
,(0w2411381479256873744,0w1441052180845717619)
,(0w1817234815312976322,0w8210904955320758773)
,(0w4075518911295976344,0w9249070192539873603)
,(0w10193797682943249173,0w15561151734171283828)
,(0w15083089972826395769,0w13111152558864022425)
,(0w17801833443505531829,0w7943350638237257556)
,(0w14549838858902567512,0w13676093758706384002)
,(0w7428265710804573653,0w5827759739213717209)
,(0w14558999862373288947,0w7807149360434561251)
,(0w12728171997419593953,0w9955529688412781392)
,(0w8044505528839191935,0w13043990491276619702)
,(0w9710763047721486292,0w4258875035997933818)
,(0w128461657414797499,0w18019841566846810865)
,(0w16378756987795724063,0w8543076404744295631)
,(0w15898540000062044216,0w8643103158032564862)
,(0w17551887809998721598,0w1182791498246621653)
,(0w4325789399523257316,0w7540673304485959109)
,(0w8417164916146290136,0w13760465621427020114)
,(0w18255672354709996070,0w16322962366430912963)
,(0w16680422084141696077,0w15294491357762176469)
,(0w7892642423435078961,0w2542151883175491235)
,(0w16109067223238719023,0w3483972837103915946)
,(0w5797989989690632374,0w11308132726108936521)
,(0w17631040864940789761,0w13492602866416763492)
,(0w13423487034658659779,0w17170843201414542706)
,(0w10430854996956514242,0w8531305663969871166)
,(0w15024633915435355484,0w17432943094831045695)
,(0w17980947651394558191,0w6955587919091987823)
,(0w6101472094657912271,0w11841534656259009403)
,(0w14227872751039508113,0w5540998750359692372)
,(0w3639527163120191229,0w2591016070817817408)
,(0w13427645792307823818,0w13060163738732650736)
,(0w15251223488235658594,0w1216455830134137771)
,(0w5012157142063923759,0w16982112921130819181)
,(0w16078399215873789220,0w12621958265615757183)
,(0w5149658652599886128,0w16559540571590781780)
,(0w5567889797462663868,0w3511882483736863552)
,(0w17632130094354663482,0w3072140521220362698)
,(0w5505746685460796368,0w11819358161643259023)
,(0w15362191021126764819,0w3032722934937945585)
,(0w12031945469286464707,0w8739535333664318460)
,(0w5140669794775094381,0w10148762478114701142)
,(0w7090442232942679413,0w3326688951499676399)
,(0w13685731492950494347,0w7195144720024767828)
,(0w3050463734797688447,0w5429799984058345179)
,(0w18055104928092147790,0w6025740508345881607)
,(0w8855244338724250976,0w2061530781740669984)
,(0w15151576345201035741,0w17400704212872208384)
,(0w11817114504058789798,0w2367185128640410842)
,(0w2268461377565205373,0w3821781250922976335)
,(0w7748298410035256571,0w12301985257189274244)
,(0w6880561045430379175,0w9473829443418815008)
,(0w17818737742256845974,0w11233675033673355654)
,(0w9745192570185141269,0w13819490554216358717)
,(0w11592288952533676922,0w5650398436502062264)
,(0w10743018834610529695,0w6787721608168573320)
,(0w1822597363437312835,0w16297373661932355812)
,(0w16081651351419134325,0w16882577932890920270)
,(0w6028408022395697669,0w1633757751631327452)
,(0w6320187384133818918,0w9531277030879265423)
,(0w9409751207034601682,0w8425453459913423209)
,(0w8398071781195581414,0w10445468365493598320)
,(0w4189594042927402218,0w1446428415091927407)
,(0w18436853538404200175,0w7778050551234902329)
,(0w14632816458307907197,0w15408096549911598045)
,(0w1991334309871614734,0w13676555177691542904)
,(0w12094436671506982771,0w1606410692894371687)
,(0w13614979680569415825,0w1358686878027206405)
,(0w3189070731447341235,0w4342964309599095589)
,(0w3916524454212510091,0w16775319846110040631)
,(0w6299020765337479620,0w18329735895415206023)
,(0w13494346385472058727,0w17271029437556776986)
,(0w7996444014998565266,0w2188833749618295509)
,(0w3169938383976308704,0w17535880306216638534)
,(0w16999793823700644514,0w12910204854560162860)
,(0w13410808441968014147,0w4462405531842735576)
,(0w2457632474169559757,0w7976472057841091261)
,(0w11986341996102795145,0w14976939889973872296)
,(0w2037976684383588783,0w2428158438745712708)
,(0w17778410377282816219,0w9146561511095679668)
,(0w12408754117935820697,0w1597710306099979441)
,(0w1904274518529506829,0w15749622494732577261)
,(0w2281104459272767295,0w16260089627087198586)
,(0w4950378109178251049,0w11910579104520241319)
,(0w15507669995988608443,0w7783886394471102481)
,(0w4553742532073448907,0w16114317063016046191)
,(0w6792255418847545635,0w6631058164372258291)
,(0w18120772442987544893,0w3776252744757441450)
,(0w1049586955505184092,0w10791401021595277704)
,(0w12470012876588519694,0w10961256374388799154)
,(0w7310050512993897586,0w11355723421310669726)
,(0w5055218342866575798,0w11526357719996890685)
,(0w5924066519620668628,0w10853085894007615945)
,(0w14381751077367238474,0w786067361196057564)
,(0w16293975581803460605,0w6642256655788454956)
,(0w9927258617732066651,0w1460462242837269599)
,(0w2291922443276008545,0w2863581609183850019)
,(0w17069331890742694300,0w17408251797476018300)
,(0w7526161057724701505,0w2724840624419678136)
,(0w7098852462093692606,0w4406160346686676100)
,(0w12364187062793594726,0w4337569016012656815)
,(0w3373195105923635496,0w10036119161921581038)
,(0w12895461308319256223,0w3651486992704131146)
,(0w4580677521703328022,0w10467652163335828592)
,(0w12370095659504488731,0w13565053642055372352)
,(0w991364033727889992,0w6674294116548748582)
,(0w66616328874173093,0w17412616279205076000)
,(0w3181216735921352168,0w7767348752574167998)
,(0w11108782285994885678,0w13327725184653562183)
,(0w2425152669486211235,0w7622008788666941845)
,(0w11430391925793543313,0w518592193164832449)
,(0w11024457656626117828,0w8652838841440244902)
,(0w9874297560532319977,0w12775328436042916470)
,(0w6349243742478269424,0w378560686036486233)
,(0w10375982999724110099,0w10357623667312330929)
,(0w4221190992188218821,0w5559570159256146905)
,(0w12818775805950514493,0w16861817550989549653)
,(0w1654341927876905138,0w5927645646350786244)
,(0w12220549857720075680,0w12280132694407458809)
,(0w6481083609707038785,0w17343342285401811865)
,(0w15059720452815728941,0w15056714348045415251)
,(0w9631824504592959071,0w14630504196742355461)
,(0w14191228406955118861,0w4951853233112625114)
,(0w2987513429794331573,0w11396779699374007162)
,(0w3715234705701699704,0w4778943752390864435)
,(0w2542858724651087291,0w1609132453430841956)
,(0w7793356992827435941,0w10207918762112607376)
,(0w15699718747447107982,0w7889746670072983205)
,(0w14055681549300246844,0w6422857971530726503)
,(0w2115619335793308481,0w13820062423173097)
,(0w17052553962441930780,0w1609156945790962135)
,(0w6416772174932594968,0w11430795535171468444)
,(0w11826143047502560549,0w10529966517660241870)
,(0w9107507976245146581,0w9719830574018536503)
,(0w444823408908628370,0w14395959971400722143)
,(0w9536028159815029239,0w11383210451821550411)
,(0w9781098570632107069,0w11369370000280256175)
,(0w11199260577375741282,0w2488716186588706709)
,(0w14330106715574642416,0w9100153010431271645)
,(0w10825211492258764177,0w18174040183846250781)
,(0w15304453495060225120,0w7043931774632862089)
,(0w994982720141050870,0w16426482022812223798)
,(0w13102529435403609534,0w6483528556509315124)
,(0w11681046014804460855,0w180237860878076732)
,(0w885727743047819201,0w5017104669156140017)
,(0w18021312170173115097,0w4954750818955641907)
,(0w8718784980384409661,0w14139507133542162007)
,(0w9584428129766212853,0w13738814355713247195)
,(0w12487477003973214224,0w11943937012302943984)
,(0w16700977224439416240,0w10027928938029608599)
,(0w2819237348626893624,0w14781052112034324583)
,(0w16345746323437902784,0w9778076883712935983)
,(0w1424662354340604579,0w1604323439414060938)
,(0w3720696681446815779,0w6282667638414785471)
,(0w18243297036969226682,0w9711655987310387352)
,(0w15049641506913817990,0w16129075036829949130)
,(0w12370003825976866678,0w10399665835695159067)
,(0w852524046981952991,0w10587283686185728135)
,(0w6037056120789016014,0w10610787810257348163)
,(0w2038721359309667273,0w3664957820459844069)
,(0w15923537287444186278,0w7732664867255688247)
,(0w11840681009095088085,0w17506167738206735308)
,(0w16667222374874379107,0w8512599245680563484)
,(0w1083588635615000282,0w17665963051581677452)
,(0w6757338408288961851,0w11105343353369315755)
,(0w13083083027679800141,0w10753549170421363871)
,(0w17092939337420786288,0w2438971671773603372)
,(0w16966861045405976216,0w10958290023218460341)
,(0w1032946381340513038,0w8762829739332357888)
,(0w9493264620518523864,0w10265703115837098431)
,(0w11544954060889766050,0w13107571606992251074)
,(0w12311371807664599383,0w18172036321202302938)
,(0w8155136204442822171,0w6052236867757192967)
,(0w2722388685054201961,0w10232091397610903316)
,(0w14110834962899101320,0w4987290127994501014)
,(0w8031521473529877807,0w15008427168196687657)
,(0w14445415147058569103,0w8506806849059774251)
,(0w11056568639066071547,0w5531660316726134212)
,(0w9986897745051148365,0w6138067878358562163)
,(0w8695380126406687962,0w18116779649548393204)
,(0w3274104801939141428,0w3025648999558690291)
,(0w16189715935710262673,0w11427953209916824728)
,(0w574102324533651687,0w13359788183789708371)
,(0w996774352825650082,0w12017368732567052876)
,(0w113026851277364570,0w11756768592996838291)
,(0w9041176662067950709,0w5001697492504433430)
,(0w9520747427839783148,0w953255388922808340)
,(0w11178112634434147602,0w101495908767879278)
,(0w11940131346530208723,0w8253278976485069147)
,(0w18153816111137221750,0w18060703202984893660)
,(0w4304981554986674246,0w5378545171528791839)
,(0w7165671748087301668,0w6497955803134009478)
,(0w11443004762467793316,0w371294233599184840)
,(0w4638257474447032284,0w12935553268066565049)
,(0w5204504035567865211,0w17825765863216676981)
,(0w669770891268986478,0w9041087699829639451)
,(0w6735228117828743846,0w15153690372818653602)
,(0w15505292152575121853,0w7959747030247111648)
,(0w6619310232315662381,0w2558216429511365054)
,(0w14626636394618380680,0w8715355038335789180)
,(0w1107119879882210962,0w6113460338896143872)
,(0w16293120405670863971,0w42368591691133588)
,(0w6288504296864603015,0w13112064980144414570)
,(0w5795549371139157628,0w17464632576482072441)
,(0w12081432683838707975,0w9862834353873420456)
,(0w9207957590214210210,0w318169591051839354)
,(0w213467499626394354,0w11907756879614981366)
,(0w11530530778324369116,0w9978186658405134101)
,(0w12124876300349311050,0w11038281538138963584)
,(0w11955398901166966525,0w4567818731005130688)
,(0w4212990561866928753,0w14719311594689059364)
,(0w15718841372048965008,0w17874360474495365458)
,(0w1049706612297177381,0w8987079110914246302)
,(0w2143033932119320081,0w17745742586364374801)
,(0w14885242528248945761,0w5564585786396669942)
,(0w1594486441650851906,0w1570312034687830305)
,(0w821337763121319943,0w669152597738711326)
,(0w1361726134487487334,0w704413584969281343)
,(0w12406186331356844949,0w3410523811584589666)
,(0w4086063936907783245,0w3041609135952881472)
,(0w13511825533850353187,0w8235178808837521044)
,(0w1071575717266715692,0w16266768518262517965)
,(0w6192798198544095988,0w15915195897482885861)
,(0w12686963895636134572,0w9647903075139743053)
,(0w1549372564001325333,0w13115182150646395508)
,(0w4470185500664066285,0w12002962876569537342)
,(0w7779140023592656981,0w1719518580460713809)
,(0w5290851069889752760,0w17290390060363889221)
,(0w3107897120711079868,0w16952049012416878772)
,(0w2409783892090517343,0w13528759314957221154)
,(0w113136832727781530,0w14516890247449101589)
,(0w16695923625518994468,0w2547334993155372049)
,(0w10230257510259933959,0w13375656985660352293)
,(0w14198202908826257952,0w3734942357407470829)
,(0w10986734933367565280,0w18064141259350301718)
,(0w13778301690209631900,0w5805074951926672597)
,(0w5383386098058253450,0w14781226261887324227)
,(0w16593562671695136896,0w6358764406848035244)
,(0w14872823565383037632,0w11746842483861932903)
,(0w9891784361590833063,0w10112625395482679888)
,(0w3786516981540217113,0w11828018003251005586)
,(0w4990412988061997071,0w9180830677051526276)
,(0w12211718478669390219,0w5749234275693106026)
,(0w12658870550154605133,0w18150605493244786971)
,(0w3687979478151798132,0w2987359300239156258)
,(0w8804116902021563535,0w2163079359224046595)
,(0w8282699957179460942,0w8749877520899009716)
,(0w13379042025624445219,0w8795327710302527603)
,(0w17278831338629587560,0w1467237540484141637)
,(0w7856265658297548982,0w927955145048532341)
,(0w12866941865051561532,0w10410128471337531504)
,(0w16814153941470087811,0w9876175547046616479)
,(0w853978160126678228,0w6298768546069689939)
,(0w4302398884564286680,0w3263649872167277118)
,(0w8779066749767339357,0w1121566703995441270)
,(0w16769230897303365142,0w4181068024624977220)
,(0w10610068652341324582,0w4830357411203210279)
,(0w343723646993666129,0w10916116553180036039)
,(0w5187382630313533236,0w11081470765162461167)
,(0w7440570175876882241,0w7249983955676068828)
,(0w2481049627323246031,0w12422287296695710670)
,(0w6323452707981868569,0w5280099448734776790)
,(0w4063967469497194471,0w5172516455849523634)
,(0w12896133475407129806,0w8316741928552889748)
,(0w2856766285602496970,0w16927688766870621711)
,(0w2015820060130593645,0w2311557968337000637)
,(0w16168978108493918274,0w18094695409174990311)
,(0w10162693050672422251,0w83426423875926087)
,(0w417799245953267674,0w14628872641127388234)
,(0w9469884749735045837,0w2490585321604513581)
,(0w7571870667116926894,0w7926142534229364537)
,(0w5253943686001104209,0w14197467203004241805)
,(0w7824717027848118544,0w7109185483051758461)
,(0w4152233645668430661,0w9462459347653421462)
,(0w12151940715754145080,0w11380212128282652465)
,(0w14784572057974467322,0w7793936603002159141)
,(0w12346206265464146259,0w15119831486666916675)
,(0w9515734210978831299,0w3421449644761506048)
,(0w10047353786875665031,0w4887711960421856636)
,(0w13399462857303570255,0w14966029574866754957)
,(0w8831757314151147955,0w1919325009498088023)
,(0w16978960028064694874,0w3168208364920522454)
,(0w11716565241931455550,0w16643401088522987341)
,(0w9128042353143889132,0w12720278444507089359)
,(0w14636781283331961772,0w13651038408521878422)
,(0w9836399320736162177,0w16756747903227577163)
,(0w8497922226454528248,0w4356078374379533954)
,(0w7204980980697370725,0w15683208255280929832)
,(0w13856715254101645540,0w5762246604418875474)
,(0w12141325066722460102,0w8587793288341081111)
,(0w2171034223375045457,0w7642221714528594535)
,(0w15686020604466608293,0w11204087120927014437)
,(0w2221610663185831481,0w11334109051531278226)
,(0w16043776124990227222,0w16117101863810482559)
,(0w16373445055295978770,0w3862123567191321002)
,(0w10059181001083995069,0w15514171738846251030)
,(0w4052028498041199647,0w2763014491838794043)
,(0w1006742411184202696,0w6555521208766382776)
,(0w1502153974567882974,0w10273932340517272999)
,(0w17954556244291415580,0w17293813060945378487)
,(0w1224035458063920260,0w16371400892426473751)
,(0w15517229443193769069,0w8085111579229341935)
,(0w3478866811056033391,0w322766375541413256)
,(0w1772288313134908715,0w3791167401846898513)
,(0w4354712874170235359,0w4652202410840455751)
,(0w3713693653897018466,0w11009579149664340644)
,(0w3154729099538665768,0w8255859682591588321)
,(0w16053899202348610100,0w12693432969143620451)
,(0w3831462699516987531,0w15144220616761209131)
,(0w6033580272135887998,0w1218517536870371354)
,(0w15442377974392071090,0w12869042599148568979)
,(0w7919555476054197802,0w15881055428089400899)
,(0w6410969015932877267,0w15866365614296183600)
,(0w12155475971732384594,0w14227415807971862686)
,(0w18299146618694750542,0w5217391272128414768)
,(0w2608941453245824150,0w13632476942630672776)
,(0w12282345295377687063,0w16202682925487954192)
,(0w18258572568875516743,0w14859534753197179333)
,(0w2984004678943918750,0w8651954761358486454)
,(0w16894656775909581590,0w711657293212608229)
,(0w9091575120717786400,0w12679529074723311844)
,(0w13463467162392360671,0w4835559319779714449)
,(0w17893282059081507279,0w7999969579516716931)
,(0w12530554317746433736,0w11844482837917693531)
,(0w6924601968767084314,0w4306385964665601536)
,(0w2416827079490211949,0w2770827728594347816)
,(0w17180052668971769343,0w6487639075628569788)
,(0w16723046212373082587,0w8991582001095044200)
,(0w12676151781132746035,0w5339701549916797834)
,(0w5786975169640151815,0w13223291778348035028)
,(0w13304652698328325502,0w10355820526759597194)
,(0w4044673853211300879,0w4105082378986867631)
,(0w5197975936428723477,0w16880580400823439831)
,(0w5318420699463330506,0w734607534680367404)
,(0w15753632615935642110,0w7450388642958715303)
,(0w10615764076664773871,0w55072978315815899)
,(0w3447466574710418514,0w5355683704178517061)
,(0w8985153322105076769,0w737699334526187468)
,(0w3911248020751435270,0w4370071147236859064)
,(0w13927346144891046636,0w15322622857787910716)
,(0w7548893710548779451,0w1783908411416538170)
,(0w14535821042074456746,0w279682328902134460)
,(0w11606293315985013108,0w3012610505663308241)
,(0w118322525425881692,0w4611791056269348378)
,(0w4270971080824084860,0w5629315577201016298)
,(0w17671902336039137356,0w3313237651207104336)
,(0w16514284462778882562,0w14801061080677464138)
,(0w9297322660944697015,0w11982918818502910269)
,(0w8060600856449007196,0w1227716873067171147)
,(0w5517754114100903300,0w11238105096062868000)
,(0w4613886051570538490,0w16508069285598021189)
,(0w5115256806224935810,0w87944428974544001)
,(0w2255749960782086255,0w17875614410263806721)
,(0w6284954626579643959,0w622596631204558856)
,(0w8357286880518852285,0w16805483076092084958)
,(0w7409995504908958614,0w100008976192960064)
,(0w15011124715550705555,0w18415230557458992473)
,(0w8786188746840689777,0w12384023538691838613)
,(0w2603298438503975869,0w767668752942927088)
,(0w3688466003768626492,0w13188931566050554079)
,(0w14294112373044590221,0w3210471146233976888)
,(0w7602461493319882710,0w13282623345310790546)
,(0w12484988704631216311,0w13311177431303783239)
,(0w9664656856932341357,0w16207535445856191128)
,(0w15598708784194078846,0w4532933767669812169)
,(0w9612029867429366521,0w9064253425464767578)
,(0w18293450876189320366,0w16065289990268720441)
,(0w16914460794627609285,0w9403014321955839950)
,(0w8034074223590823842,0w4358056676215549326)
,(0w8677514667260874536,0w13426605466492146523)
,(0w6772375293258505582,0w12057359721492055114)
,(0w15175243356019501835,0w12880440360880013172)
,(0w1422300336733708413,0w13322173013017711286)
,(0w8672076102285915820,0w708362938037943797)
,(0w1206312538845414233,0w9405927713221207986)
,(0w8458007944735374565,0w6149987333889298444)
,(0w5945236278756418389,0w8080923528844162021)
,(0w8739018823093440037,0w3122854271177430238)
,(0w2719416133512409328,0w8949367874166237542)
,(0w7274818229773696211,0w15178858430527392885)
,(0w9901328910581241094,0w15353872748759993329)
,(0w3945120265534205268,0w7595764661015563022)
,(0w12642639211437262863,0w8436058392798548739)
,(0w16375299637694843798,0w1687111047254768626)
,(0w4646703687001899143,0w10801997847952713014)
,(0w9910224126465463112,0w14870873543135539947)
,(0w16293887884265877411,0w1930809147655114241)
,(0w2787264632657793231,0w8795748168488021227)
,(0w17104855863539699374,0w15197207933063024176)
,(0w2876372681488237818,0w15935770099255146221)
,(0w13259064440862624587,0w11554368277163158188)
,(0w15624828056192642913,0w3821121811108288630)
,(0w11702581285989317007,0w10409563547139574033)
,(0w11957152397221458178,0w7469841375375503189)
,(0w12506626612160695548,0w7823640582857939788)
,(0w16232961203815783008,0w4227021238221806713)
,(0w15121828486786179562,0w17647848291795335190)
,(0w16291360224986474215,0w4676664522764095125)
,(0w1582528598671672641,0w14808260128743911771)
,(0w3599392565003943311,0w9218720416027206297)
,(0w3794568087294439202,0w16824417762839400803)
,(0w16377362025955536499,0w6673877219134206320)
,(0w11376269154174784350,0w13079333573441269398)
,(0w990288149644288563,0w1920281238431513098)
,(0w7159166746041661589,0w15548596717318086680)
,(0w2590328427355140324,0w17372006316672569354)
,(0w16004051726448945655,0w18175992190804955447)
,(0w2542211934819153692,0w14672192730006672372)
,(0w9048260222664809067,0w17813359991020979695)
,(0w13553072157124191741,0w14655637978077786692)
,(0w9073551469377785918,0w6433055431307677315)
,(0w4020149434075416801,0w18258616639216070613)
,(0w4144745212316408615,0w5886556911783411315)
,(0w16994429654992608606,0w9309261913171138238)
,(0w14066423764603138849,0w1551237592381064770)
,(0w2755097664387502369,0w8672582879794519412)
,(0w15430357503549567601,0w15640600659849055960)
,(0w5026371040288377003,0w15504119664959801541)
,(0w7631330613518820722,0w1152269529968511336)
,(0w1510073433714241407,0w17725512418942259075)
,(0w18076048733897352049,0w11759994135749538191)
,(0w4796595372826538071,0w17576213479538186000)
,(0w3809177468381571836,0w9793807128869253718)
,(0w16293212158354102362,0w15588818540448369270)
,(0w6217369696134030313,0w6474996934977573872)
,(0w16249775663627201704,0w7982558983989164538)
,(0w15038392218503266442,0w14740335428846509033)
,(0w6106336516935688874,0w2023927471202931641)
,(0w2518253628807565477,0w7117532088498713974)
,(0w3355268187338954652,0w6355845606498539704)
,(0w106660140660620106,0w14913161100194033434)
,(0w14242942261123025683,0w14768074875599042512)
,(0w6080721361222417134,0w268211300256853274)
,(0w16190949514227315768,0w6228120170574027767)
,(0w991704185885955748,0w8262539549866309790)
,(0w2805829739537194944,0w1446700881325982071)
,(0w14702561953147638034,0w12511098063115485181)
,(0w4280832911028709605,0w18436997535706674912)
,(0w9919320749962612380,0w11235350797995724146)
,(0w5425799861101153187,0w10444167601418204645)
,(0w1080612118797109378,0w9254220748588933778)
,(0w13757935348920732497,0w13569775003869214788)
,(0w15723509557097005575,0w15183026472275109130)
,(0w12597533451443222942,0w12272594136938993426)
,(0w4326620522324568287,0w5056735969290528697)
,(0w10444270287059848324,0w1587424567658514642)
,(0w3665699560002459068,0w12753639729620935170)
,(0w16224316504952541670,0w18286400040962821458)
,(0w6777620168609938623,0w14335325730543290515)
,(0w11309258499991672755,0w3375223463905835349)
,(0w1174292910475298873,0w9029376224858252429)
,(0w10036929440282043192,0w5164619211193104619)
,(0w11572744447554598206,0w9896882835583289032)
,(0w13861686505266694911,0w5902995160485718027)
,(0w17185333960936566414,0w583357136688394565)
,(0w1724656390413084325,0w7783768816155313067)
,(0w9016270831832502609,0w4802353953267839607)
,(0w189519841029794250,0w8460776554311315972)
,(0w3785486735513737747,0w7937394153662278895)
,(0w5649877242183409996,0w3470017992027765780)
,(0w7140602655736970985,0w9643302096505466115)
,(0w13682837792429595554,0w11200915667866483106)
,(0w10935694236235771539,0w17474533693551310237)
,(0w11734838217538272687,0w9349774638883719215)
,(0w11412802054325132456,0w11749189713644169697)
,(0w7044956481268015606,0w15757551107011080668)
,(0w15810613984393223079,0w14876113159248363110)
,(0w6716372577312354324,0w12697192667864188653)
,(0w4870043202438966927,0w15377161655096621036)
,(0w9072391034528218213,0w6387476631690647099)
,(0w3511044399478217545,0w12093979344799015737)
,(0w17702099149317680845,0w17260637448972294721)
,(0w6066083600691440106,0w9057895252542052511)
,(0w14400697232922015893,0w4842152268841996304)
,(0w16377888149014384734,0w12883555315554804644)
,(0w1162887103965442706,0w2590370368687010360)
,(0w5182039407353351417,0w4871112308638230195)
,(0w6287574634566302050,0w8211951774729939783)
,(0w14496436972049823155,0w9793371636389118726)
,(0w3787046230761620459,0w5293515752599588250)
,(0w16797132075780263836,0w2664804042555172205)
,(0w7691562455561278377,0w4525258307826263413)
,(0w12354715081123891471,0w5883127897575814655)
,(0w1545175781881912182,0w674111799155464347)
,(0w2920052789175860091,0w2247266414222663873)
,(0w1274283289249927245,0w12552515276791278245)
,(0w1485447377247505481,0w4288371719042489164)
,(0w5018934590698724344,0w14727367251997600923)
,(0w1822532569978858489,0w2492181028435397129)
,(0w17529923149242910630,0w2807392054449671366)
,(0w6451625458461828472,0w6179720619793029740)
,(0w14958196003255237286,0w8686052891222286283)
,(0w706067057619822164,0w10599481750349665119)
,(0w10347672861962743465,0w16134411329463579662)
,(0w13702242363765836473,0w2015496652669123139)
,(0w10925238176431895945,0w15713560757349444)
,(0w6658445447505945085,0w10559626878368929719)
,(0w9837107150760028818,0w11399586658764298826)
,(0w7271682287690054953,0w16629633672333183270)
,(0w15476787414542503535,0w10931500112484316470)
,(0w4641197415882480296,0w9738609927410256911)
,(0w14315022481100042903,0w5026348952483631714)
,(0w5015776350654833236,0w13188310226593626901)
,(0w5614401709729935565,0w11678568130911175152)
,(0w15131010349076037626,0w6108770559592726755)
,(0w7099084226986469130,0w647220957617403756)
,(0w15853157079065620306,0w13327481795805363089)
,(0w11914848853133202277,0w3091126968502088739)
,(0w1367599343804088542,0w2577542495525942462)
,(0w991838114827677141,0w5483322347794976944)
,(0w17865171880163483534,0w16091739375296015978)
,(0w11979158840299002703,0w4085624570525788525)
,(0w10185794206870374417,0w17766337276230972592)
,(0w7786683505169557846,0w15963083759754364586)
,(0w16919661359094828716,0w13760071088988520532)
,(0w5428783813871113077,0w5671671107187221666)
,(0w3399577798893212739,0w13524557989545778051)
,(0w11439974593417140459,0w17531035569014320496)
,(0w3631261934106807557,0w9228357619604410172)
,(0w6038970804485510868,0w11956777890921178426)
,(0w782344385595729039,0w15936910038923415992)
,(0w11879388458280311716,0w3494153944796382441)
,(0w3852907378824087702,0w6806246970981214302)
,(0w1733000213984529770,0w6128988224499807879)
,(0w16204580483048022462,0w6233750218859306722)
,(0w6056333908168518828,0w10324414094697556804)
,(0w7354080763268050221,0w14742600773273711712)
,(0w9122831369371830418,0w7106022165561462178)
,(0w1628256635181585568,0w4280785830564578977)
,(0w14648693552201049047,0w8018952301188896352)
,(0w10173847485107773069,0w4178989444529236329)
,(0w9755061824813536111,0w12259130153257558513)
,(0w16390900552029539920,0w8549950894152577011)
,(0w8059041815956495251,0w3135239859870486805)
,(0w16733672750685236844,0w9106409570670259787)
,(0w1178966626507742585,0w9031519369793015691)
,(0w9941761277226595996,0w6695723760395193158)
,(0w11165875274604198469,0w4467191216468649172)
,(0w9976392336558205383,0w6281087427144742664)
,(0w2153773422158425656,0w9243429963753732755)
,(0w6429984533388514096,0w10409068472797700496)
,(0w8076634379841299086,0w39022119627182512)
,(0w14931328930283202993,0w15749354633317570636)
,(0w7871785890810870632,0w11366953636386024335)
,(0w10857719967391546424,0w14552240635312013652)
,(0w10998036073967550411,0w14533429527573068252)
,(0w10072008716587376341,0w611317308593298342)
,(0w3812545534189715827,0w13516074999090140336)
,(0w13938127624834173102,0w12958361589509811861)
,(0w7735342899782427333,0w17955625977019169341)
,(0w12318205871267113244,0w14899310971199871359)
,(0w15906242747512577866,0w4632372599743837664)
,(0w1534257530796225228,0w17710137655294422056)
,(0w13548317464125647427,0w12243088720494111404)
,(0w11291237959275420398,0w7205812876650263534)
,(0w15266698478171971631,0w4413267166108485000)
,(0w9902751585002166188,0w10419065129873810698)
,(0w8649405624487018037,0w13280466902488357946)
,(0w3879816464193666463,0w3975520588598283033)
,(0w16695469562453288788,0w7341670599834974068)
,(0w9713017519647213419,0w5636376432389780967)
,(0w2386904352573668704,0w17784227008690411800)
,(0w16055826720644134794,0w16834879691266223842)
,(0w5130130701294817415,0w12348290169511178681)
,(0w8681379835230937834,0w13409355379680472345)
,(0w5631988628502618557,0w10111494667037094987)
,(0w9653195424641102353,0w8123102709662843525)
,(0w613911321770892618,0w17665025401199028315)
,(0w13760393746993811830,0w13908211096047141001)
,(0w11959365554209229339,0w15671167661133999046)
,(0w15842829167197810209,0w1725734479626571294)
,(0w6839099016935814522,0w9002769882033333065)
,(0w17731427691561928677,0w13823251965844316553)
,(0w7033518436462411149,0w18259204505933326150)
,(0w7262523855704941876,0w17795344487220054528)
,(0w8804109200700335751,0w6461355712401093314)
,(0w13118360805737459254,0w11749183730837047885)
,(0w12788481725827558120,0w6420409356641278792)
,(0w5051066097197263304,0w9167306562545700086)
,(0w17449725951708439545,0w1925602616813551390)
,(0w165515448533636371,0w15098832900237162796)
,(0w7647408718071963262,0w18348024940306034048)
,(0w15753187826593724697,0w3710989858981363590)
,(0w11269107737310897693,0w9808898492871492198)
,(0w15748652523281347434,0w2739061301206356582)
,(0w9254334105117875327,0w11761257960582175193)
,(0w5969505629176721307,0w6039191667334104554)
,(0w263495108399323351,0w9829444723130386828)
,(0w6220927075849712082,0w8291307930200338526)
,(0w15972198177861947842,0w8398964194949225207)
,(0w3501308546674647228,0w17666285697475027171)
,(0w558140445068399200,0w635784268839724539)
,(0w4951578004797419724,0w910214762192318088)
,(0w2242779038357952711,0w17497816873180316528)
,(0w6955752329695537412,0w5497191203238483099)
,(0w4364420660396940121,0w1038065920824416907)
,(0w18110940830909512486,0w18016958662948490381)
,(0w10321928044807393073,0w209074073137429825)
,(0w17604500885022861477,0w3113953729081249152)
,(0w13139986562964837730,0w14763332626440873849)
,(0w7261209559339356980,0w10474652496683566240)
,(0w11353498008743473711,0w2706676521839250528)
,(0w13289297882649536697,0w13646498475762800433)
,(0w678741416634406468,0w15998950530748503326)
,(0w13501872348199300351,0w7096034584486009215)
,(0w6344287777690013913,0w13572759642231556973)
,(0w16337041063960732122,0w9893104590147523517)
,(0w1632618714586761260,0w4165283141737140178)
,(0w3601472116163367525,0w15172553707343264517)
,(0w8973312924100619292,0w7376503083712700294)
,(0w11196091624723914831,0w4016642944483649860)
,(0w7291114726336746726,0w13208951153352866284)
,(0w8311902769433558022,0w17277595067006592850)
,(0w16133437378191581021,0w1657427207850607128)
,(0w6716063916546610250,0w11224150387581237668)
,(0w7558960541428273731,0w822632353746337448)
,(0w16124712105094331785,0w14235569235335993992)
,(0w625970078804200532,0w13065272256439352036)
,(0w9927640204617566086,0w225507665451187780)
,(0w15977759950946783978,0w15418002850783405668)
,(0w10108412055378412176,0w16559566570884780147)
,(0w7720138037279279153,0w12603885800752953373)
,(0w190689221864480319,0w5549358777193013658)
,(0w193716366737562244,0w5819102216644698761)
,(0w6337326480963330094,0w15739072998712693062)
,(0w17844545189676777646,0w12716279335482325769)
,(0w5133252153313788829,0w3859431630089223283)
,(0w14366765074158554547,0w17365342520818049240)
,(0w15585340435238789760,0w10261001484633567725)
,(0w13382950985791276574,0w2044222347826774713)
,(0w13037586298201160813,0w17936304231187692441)
,(0w4360286777901047591,0w14866513384410022455)
,(0w408403079141578839,0w17982759088470634791)
,(0w18072377650171432593,0w16178990768707554968)
,(0w8600042731783791317,0w9049285464429084540)
,(0w11599825181188079100,0w18229174652462448882)
,(0w5716504897920605092,0w14212450752649982124)
,(0w14077830253956316941,0w2627194898249132889)
,(0w14987850235844579412,0w1147259447555442778)
,(0w12356260281165043030,0w4607846609264724312)
,(0w9406189959656230780,0w16649895430050192427)
,(0w15846016811434238876,0w7096854721241230250)
,(0w447836489942985189,0w2147452481329312565)
,(0w4951623541505716379,0w17644097242787054018)
,(0w12746937308346826112,0w7998651973295782869)
,(0w9612571047729379431,0w16465157002911246372)
,(0w10041421253002808956,0w8534526513004433445)
,(0w17932179916101341022,0w5283290035210281882)
,(0w3953786979519653770,0w11064713964519268493)
,(0w534623702761489455,0w16568737154512535848)
,(0w17596696008306721501,0w15153999778015990269)
,(0w15216137630140458048,0w15387236982821598064)
,(0w1052111882028998571,0w13472077089278380121)
,(0w1370649152444991971,0w10640759797524386739)
,(0w10636111856996191974,0w15673429117643101668)
,(0w14400087088993745258,0w11472699053556329787)
,(0w17844626878713540942,0w810003357221154736)
,(0w1238452830059574376,0w5436994346801141184)
,(0w14275404725069498614,0w2100246982361356805)
,(0w418441881862799798,0w12573901683945877879)
,(0w17386492943723211324,0w15818189201948928876)
,(0w8728638197029720265,0w14117298759808350764)
,(0w541840972972124975,0w5938821606386836083)
,(0w11593587671839268744,0w6540263026008195677)
,(0w10168545868236700820,0w3887641243708644459)
,(0w13880127173685668771,0w3244463217473866121)
,(0w8754978905680545693,0w3817453853455163759)
,(0w1358437268530790604,0w9627977118578507583)
,(0w12218867580023452904,0w18330681286557922966)
,(0w385474671929098494,0w6051324341279566900)
,(0w9228662845708761320,0w5933802897252671354)
,(0w7773097411110486631,0w15525312444013191596)
,(0w8048051837464228930,0w10569527903818863812)
,(0w829373362480242342,0w887878546434207251)
,(0w347651205020130150,0w9533661863858118477)
,(0w15128412112097743555,0w7795117931245333344)
,(0w11588491072620598418,0w8339636246965183440)
,(0w9125857657485762957,0w4580783571943212719)
,(0w10197460425876151698,0w1180146291727940349)
,(0w12710322810008457658,0w13952075858752797372)
,(0w13968352982097459847,0w9888977693481963226)
,(0w16551153873232348716,0w14430475536708536073)
,(0w1799473816455320779,0w3372003140178597157)
,(0w15501027668069281662,0w18053480746478451941)
,(0w522039631154198952,0w12692660565409746008)
,(0w8175498149381079451,0w15641209481513957424)
,(0w12806199421723269469,0w5726112649974336012)
,(0w1145705078673516078,0w6179126773301632003)
,(0w6848608665531138727,0w14388057200011303909)
,(0w10440056277541821786,0w15715514440675099334)
,(0w6068537144441409346,0w171081282617182769)
,(0w13640850535065691660,0w7441942600286861284)
,(0w1515853725411180763,0w1508073730921428015)
,(0w18099214688229525691,0w9296668087772564666)
,(0w5363503677524680830,0w5975535607919762293)
,(0w13941658809330164961,0w4799264935745788558)
,(0w7769933624389776112,0w16416182831946169450)
,(0w3384522242688860678,0w8404971111636978212)
,(0w1926774055179708271,0w4869835980366149720)
,(0w5408144513364943044,0w7719288708724425391)
,(0w16609439931163284804,0w3234711086872355698)
,(0w3080937414364931163,0w4736620788077610845)
,(0w17227703460013680906,0w12718468367355281368)
,(0w15947439774228853926,0w8645426785487742124)
,(0w12050732380871692956,0w1836905361090021524)
,(0w13611238948343874924,0w56930411146288370)
,(0w1873968771857520973,0w15921530542773245097)
,(0w3988513803615874307,0w7618034886529053886)
,(0w5816028174425765356,0w4995363104564675224)
,(0w2332264843669442824,0w16701550295360801911)
,(0w12588856809773590456,0w13327277609096680335)
,(0w2067442149844775889,0w4553821790321581947)
,(0w15329060438615534192,0w15652292319179268643)
,(0w8540177637925503066,0w8755715602182299971)
,(0w5693507586526023803,0w14101159197824328281)
,(0w15647897819808452458,0w8243121195386928106)
,(0w15113467213993377804,0w14032581158391098169)
,(0w6659873277440183569,0w10062028046777093944)
,(0w932973275180901526,0w5673027899138050575)
,(0w11340578527696541459,0w3730646506960445339)
,(0w1476171058638799009,0w18440835624092795285)
,(0w10061475015107371399,0w208388872336563144)
,(0w13538470280339374266,0w17021529938502230353)
,(0w10091681813467688624,0w16459131814117950640)
,(0w1792256950901639093,0w6486476592364494439)
,(0w3540316238625245971,0w7044248203974331413)
,(0w5062293390437774831,0w3689817168034059602)
,(0w8952173598660805799,0w13713302643068142241)
,(0w18124958069618520837,0w17472854962527923046)
,(0w363914508745998059,0w821439853868678919)
,(0w277560923974938172,0w6901894911733929797)
,(0w4887415796774371938,0w13250637552854323510)
,(0w13640409524632412986,0w4099207803958305915)
,(0w15084267151411972822,0w330419302771219646)
,(0w2528461308885492721,0w18134458591161035004)
,(0w11711148962525755370,0w7367916746724577353)
,(0w9009985276887578918,0w2235160303790081411)
,(0w14261681925932892520,0w4831010542071335610)
,(0w12455086299874202686,0w6848291545834332984)
,(0w18146966417998369306,0w1655428277916904487)
,(0w4748284089137141223,0w12095166232454919073)
,(0w15330412651295801460,0w2081753358453631335)
,(0w8635743857657864018,0w8312192135142360780)
,(0w4597356323342382608,0w2560538598986762754)
,(0w894015851179058707,0w10982044076759569723)
,(0w7574376809745951080,0w7364984363110068325)
,(0w8387448445098092885,0w9218761728627686744)
,(0w2100185228777163355,0w12994009303353431796)
,(0w13710300396601939217,0w2587824558916567391)
,(0w5665559195866579359,0w3066766144627115660)
,(0w7651764444613827317,0w113789567734648228)
,(0w7999947588616960854,0w15628040427863031715)
,(0w8265501148230408484,0w13954462908977966389)
,(0w18190990079701471822,0w2673975341218170947)
,(0w2453805389056420910,0w16969236635595629499)
];
